Dynamic epistemic logic - PDFSEARCH.IO - Document Search Engine

Dynamic epistemic logic
Results: 29

#	Item
21	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:26 Deontic logic Epistemic modal logic Modal operator Linguistic modality F Accessibility relation Modal logic Logic Mathematics
22	1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-01-30 07:12:28 Philosophy Game theory Philosophy of mathematics Mathematical logic Johan van Benthem Modal logic Game semantics Institute for Logic Language and Computation Epistemic modal logic Logic Philosophical logic Mathematics
23	Modal Logic Carnegie Mellon University Fall 2012 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-08-24 16:10:09 Kripke semantics Epistemic modal logic First-order logic Deontic logic Temporal logic Dynamic logic Neighborhood semantics Saul Kripke Multimodal logic Logic Mathematical logic Modal logic
24	Message Passing in a Dynamic Epistemic Logic Setting Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:50:58 Metalogic Model theory Mathematical logic Epistemic modal logic Kripke semantics Entailment RSA Logic Philosophical logic Modal logic
25	Learning from the Perspective of Dynamic Epistemic Logic Jan van Eijck CWI & ILLC, Amsterdam ILLC Language and Learning Workshop, March 11, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:25:32 Mathematics Science Philosophical logic Artificial intelligence Epistemic modal logic Kripke semantics Epistemology Logic Modal logic Branches of philosophy
26	Propositional Dynamic Logic as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Center for Mathematics and Computer Science (CWI) Kruislaan[removed]SJ Amsterdam, The Netherlands {jve,y.wang}@cwi.nl Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:31:51 Philosophical logic Logic programming Propositional calculus Metalogic Model theory Epistemic modal logic Modal logic Interpretation Function Logic Mathematical logic Mathematics
27	Logics of Communication and Change Johan van Benthem a Jan van Eijck b Barteld Kooi c a ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands & Philosophy Department, Stanford Univer Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:24:18 Mathematics Epistemic modal logic Common knowledge Dynamic logic Modal operator Model theory Axiom Logic Mathematical logic Modal logic
28	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
29	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic